$\forall$$M$:MsgA.  $\oplus$ $M$ $=$ $M$